Tunisia kills head of ISIS-linked terrorist group